1. Proof theory :
پدیدآورنده : edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Proof theory
رده :
QA9
.
54
.
L44
1990
2. Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990
پدیدآورنده : edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
L4
1990
